The set of constructible numbers is a subfield of the reals and contains the rationals.